On the Minimal Non-Fregean Grzegorczyk Logic
نویسندگان
چکیده
منابع مشابه
‘Fregean’ Logic and ‘Russellian’ Logic*
I do not think there is one true answer to the question What is logic?. There are, clearly, good and less good answers, and there are answers which are plainly wrong; but the term ‘logic’ has been employed, throughout the history of the subject matter, in such diverse ways that no single one of the uses can be said to be the correct one. However, even among the answers which are acceptable on h...
متن کاملBasic Logic and Fregean Set Theory
It is tempting to conclude that classical mathematics is vindicated by its success, in particular by its applicability to the natural sciences. Constructive mathematics and intuitionism, on the other hand, lost by being too puritanical, and by making it too hard to prove results constructively that are easily shown to be true by classical means. Its sole rôle is that of servant to classical mat...
متن کاملReflexives and non-Fregean quantifiers
Natural languages display a great variety of constructions which denote non-Freagean quantifiers that is complex quantifiers which are not iterations of simpler quantifiers. Such quantifiers have been extensively studied by Ed (Clark and Keenan (1986), Keenan (1987b), Keenan (1992)). Usually expressions denoting non-Fregean quantifiers are not lexically simple and often they are not syntactic c...
متن کاملSuszko and the non-Fregean-Logics
"I. Roman Suszko (9.11.1919, Podobora – 3.06.1979, Warsaw) was one of the most fascinating personalities in Polish academic community after the Second World War and one of the most outstanding logicians of the time. He was above all a scientist but he also participated in academic life. He was Dean of the Faculty of Philosophy at Warsaw University for two terms of office. He studied abstract pr...
متن کاملRasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
The sentential logic SCI is obtained from the classical sentential calculus by adding a new identity connective ≡ (different from ↔) and axioms which say ”α ≡ β” means ”α is identical to β” . From the axioms for ≡ it follows that the range of sentences has at least two elements. No other special presupposition about the meaning of ’is identical to’ nor the range of sentences are assumed. Any ad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2015
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-015-9635-y